((function () {
  "use\x20strict";
  with (a) ;
})());
